Dynamics in ML

نویسندگان

  • Xavier Leroy
  • Michel Mauny
چکیده

Objects with dynamic types allow the integration of operations that essentially require runtime type-checking into statically-typed languages. This article presents two extensions of the ML language with dynamics, based on our work on the CAML implementation of ML, and discusses their usefulness. The main novelty of this work is the combination of dynamics with polymorphism.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

investigation of mercaptan removal from Kerosene using passive mixing tools: Experimental study and CFD modeling

Abstract In this work, the role of appropriate mixing for mercaptan removal from Kerosene using caustic soda has been investigated in the pilot scale. Static mixer at different condition has been used as a passive mixing tool to achieve proper mixing and consequently high performance of mercaptan removal. Two lengths of static mixer including 20 and 40 cm as well as two pitches 1 and 3 m...

متن کامل

Lactoferrin as a Marker of Systemic Inflammatory Response

Materials and methods. 51 patients, who were ill with generalized peritonitis, went through a prospective randomized research. They were randomized on groups depending on the objective score SAPS (1984): 29 survived people (53%) and 22 people with favorable end (47%). Intensive care and surgical tactics standardized patients. Lactoferrin (LF) as modulator of systemic inflammatory response (SIR)...

متن کامل

The Dynamics of Competitiveness in Creative and Manufacturing Industries in the Indonesia Stock Exchange (IDX) of Pre and Post Crisis

This study presents an empirical evidence concerning the comparison of  the dynamics of competitiveness in the creative and manufacturing industries. It investigated the impact of the economic crisis in the behavior of the competitiveness of those industries. The samples were 42 firms taken from 3 sub-sectors of the creative industries and 3 sub-sectors of the manufacturing industries listed in...

متن کامل

Path to Stochastic Stability: Comparative Analysis of Stochastic Learning Dynamics in Games

Stochastic stability is a popular solution concept for stochastic learning dynamics in games. However, a critical limitation of this solution concept is its inability to distinguish between different learning rules that lead to the same steadystate behavior. We address this limitation for the first time and develop a framework for the comparative analysis of stochastic learning dynamics with di...

متن کامل

Molecular Dynamics Simulation of Water Transportation through Aquaporin-4 in Rat Brain Cells

This paper investigates the mechanism of water transportation through aquaporin-4(AQP4) of ratbrain cells by means of molecular dynamics simulation with CHARMM software. The AQP4 wasembedded into a bilayer made of Dimystroilphosphatylcholine (DMPC). The results illustrate thatwater molecules move through AQP4's channel with change of orientation of oxygen of eachwater molecule.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • J. Funct. Program.

دوره 3  شماره 

صفحات  -

تاریخ انتشار 1991